<!DOCTYPE html>
<html class="writer-html5" lang="en" data-content_root="../">
<head>
  <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />

  <meta name="viewport" content="width=device-width, initial-scale=1.0" />
  <title>Overview &mdash; The Logtalk Handbook v3.93.0-b01 documentation</title>
      <link rel="stylesheet" type="text/css" href="../_static/pygments.css?v=d75fae25" />
      <link rel="stylesheet" type="text/css" href="../_static/css/theme.css?v=19f00094" />
      <link rel="stylesheet" type="text/css" href="../_static/css/custom.css?v=396eccfe" />

  
  <!--[if lt IE 9]>
    <script src="../_static/js/html5shiv.min.js"></script>
  <![endif]-->
  
        <script src="../_static/jquery.js?v=5d32c60e"></script>
        <script src="../_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
        <script src="../_static/documentation_options.js?v=c8100655"></script>
        <script src="../_static/doctools.js?v=9a2dae69"></script>
        <script src="../_static/sphinx_highlight.js?v=dc90522c"></script>
    <script src="../_static/js/theme.js"></script>
    <!-- begin favicon -->
    <link rel="apple-touch-icon" sizes="180x180" href="/apple-touch-icon.png" />
    <link rel="icon" type="image/png" sizes="32x32" href="/favicon-32x32.png" />
    <link rel="icon" type="image/png" sizes="16x16" href="/favicon-16x16.png" />
    <link rel="manifest" href="/site.webmanifest" />
    <link rel="mask-icon" href="/safari-pinned-tab.svg" color="#5bbad5" />
    <meta name="msapplication-TileColor" content="#355b95" />
    <meta name="theme-color" content="#ffffff" />
    <!-- end favicon -->
    
    <link rel="index" title="Index" href="../genindex.html" />
    <link rel="search" title="Search" href="../search.html" />
    <link rel="next" title="asdf" href="asdf.html" />
    <link rel="prev" title="Developer Tools" href="index.html" />
   
</head>

<body class="wy-body-for-nav"> 
  <div class="wy-grid-for-nav">
    <nav data-toggle="wy-nav-shift" class="wy-nav-side">
      <div class="wy-side-scroll">
        <div class="wy-side-nav-search" >

          
          
          <a href="../index.html" class="icon icon-home">
            The Logtalk Handbook
              <img src="../_static/logtalk.gif" class="logo" alt="Logo"/>
          </a>
              <div class="version">
                3.93.0
              </div>
<div role="search">
  <form id="rtd-search-form" class="wy-form" action="../search.html" method="get">
    <input type="text" name="q" placeholder="Search docs" aria-label="Search docs" />
    <input type="hidden" name="check_keywords" value="yes" />
    <input type="hidden" name="area" value="default" />
  </form>
</div>
        </div><div class="wy-menu wy-menu-vertical" data-spy="affix" role="navigation" aria-label="Navigation menu">
    
              <p class="caption" role="heading"><span class="caption-text">Contents</span></p>
<ul class="current">
<li class="toctree-l1"><a class="reference internal" href="../userman/index.html">User Manual</a></li>
<li class="toctree-l1"><a class="reference internal" href="../refman/index.html">Reference Manual</a></li>
<li class="toctree-l1"><a class="reference internal" href="../tutorial/index.html">Tutorial</a></li>
<li class="toctree-l1"><a class="reference internal" href="../faq/index.html">FAQ</a></li>
<li class="toctree-l1 current"><a class="reference internal" href="index.html">Developer Tools</a><ul class="current">
<li class="toctree-l2 current"><a class="current reference internal" href="#">Overview</a><ul>
<li class="toctree-l3"><a class="reference internal" href="#loading-the-developer-tools">Loading the developer tools</a></li>
<li class="toctree-l3"><a class="reference internal" href="#tools-documentation">Tools documentation</a></li>
<li class="toctree-l3"><a class="reference internal" href="#tools-common-flags">Tools common flags</a></li>
<li class="toctree-l3"><a class="reference internal" href="#tools-requirements">Tools requirements</a><ul>
<li class="toctree-l4"><a class="reference internal" href="#tool-dependencies-for-full-functionality">Tool dependencies for full functionality</a></li>
<li class="toctree-l4"><a class="reference internal" href="#python-dependencies-all-operating-systems">Python dependencies (all operating-systems)</a></li>
<li class="toctree-l4"><a class="reference internal" href="#macos-macports">macOS - MacPorts</a></li>
<li class="toctree-l4"><a class="reference internal" href="#macos-homebrew">macOS - Homebrew</a></li>
<li class="toctree-l4"><a class="reference internal" href="#ubuntu">Ubuntu</a></li>
<li class="toctree-l4"><a class="reference internal" href="#redhat">RedHat</a></li>
<li class="toctree-l4"><a class="reference internal" href="#windows-chocolatey">Windows - Chocolatey</a></li>
<li class="toctree-l4"><a class="reference internal" href="#installers">Installers</a></li>
<li class="toctree-l4"><a class="reference internal" href="#windows-powershell-add-ons">Windows - PowerShell add-ons</a></li>
</ul>
</li>
</ul>
</li>
<li class="toctree-l2"><a class="reference internal" href="asdf.html"><code class="docutils literal notranslate"><span class="pre">asdf</span></code></a></li>
<li class="toctree-l2"><a class="reference internal" href="assertions.html"><code class="docutils literal notranslate"><span class="pre">assertions</span></code></a></li>
<li class="toctree-l2"><a class="reference internal" href="code_metrics.html"><code class="docutils literal notranslate"><span class="pre">code_metrics</span></code></a></li>
<li class="toctree-l2"><a class="reference internal" href="dead_code_scanner.html"><code class="docutils literal notranslate"><span class="pre">dead_code_scanner</span></code></a></li>
<li class="toctree-l2"><a class="reference internal" href="debug_messages.html"><code class="docutils literal notranslate"><span class="pre">debug_messages</span></code></a></li>
<li class="toctree-l2"><a class="reference internal" href="debugger.html"><code class="docutils literal notranslate"><span class="pre">debugger</span></code></a></li>
<li class="toctree-l2"><a class="reference internal" href="diagrams.html"><code class="docutils literal notranslate"><span class="pre">diagrams</span></code></a></li>
<li class="toctree-l2"><a class="reference internal" href="doclet.html"><code class="docutils literal notranslate"><span class="pre">doclet</span></code></a></li>
<li class="toctree-l2"><a class="reference internal" href="help.html"><code class="docutils literal notranslate"><span class="pre">help</span></code></a></li>
<li class="toctree-l2"><a class="reference internal" href="issue_creator.html"><code class="docutils literal notranslate"><span class="pre">issue_creator</span></code></a></li>
<li class="toctree-l2"><a class="reference internal" href="lgtdoc.html"><code class="docutils literal notranslate"><span class="pre">lgtdoc</span></code></a></li>
<li class="toctree-l2"><a class="reference internal" href="lgtunit.html"><code class="docutils literal notranslate"><span class="pre">lgtunit</span></code></a></li>
<li class="toctree-l2"><a class="reference internal" href="linter.html"><code class="docutils literal notranslate"><span class="pre">linter</span></code></a></li>
<li class="toctree-l2"><a class="reference internal" href="make.html"><code class="docutils literal notranslate"><span class="pre">make</span></code></a></li>
<li class="toctree-l2"><a class="reference internal" href="packs.html"><code class="docutils literal notranslate"><span class="pre">packs</span></code></a></li>
<li class="toctree-l2"><a class="reference internal" href="ports_profiler.html"><code class="docutils literal notranslate"><span class="pre">ports_profiler</span></code></a></li>
<li class="toctree-l2"><a class="reference internal" href="profiler.html"><code class="docutils literal notranslate"><span class="pre">profiler</span></code></a></li>
<li class="toctree-l2"><a class="reference internal" href="tutor.html"><code class="docutils literal notranslate"><span class="pre">tutor</span></code></a></li>
<li class="toctree-l2"><a class="reference internal" href="wrapper.html"><code class="docutils literal notranslate"><span class="pre">wrapper</span></code></a></li>
</ul>
</li>
<li class="toctree-l1"><a class="reference internal" href="../libraries/index.html">Libraries</a></li>
<li class="toctree-l1"><a class="reference internal" href="../ports/index.html">Ports</a></li>
<li class="toctree-l1"><a class="reference internal" href="../contributions/index.html">Contributions</a></li>
<li class="toctree-l1"><a class="reference internal" href="../glossary.html">Glossary</a></li>
<li class="toctree-l1"><a class="reference internal" href="../bibliography.html">Bibliography</a></li>
<li class="toctree-l1"><a class="reference internal" href="../genindex.html">Index</a></li>
</ul>

    <p class="caption"><span class="caption-text">External Contents</span></p>
    <ul>
    <li class="toctree-l1"><a class="reference internal" href="../../apis/index.html">APIs</a></li>
    <li class="toctree-l1"><a class="reference internal" href="https://logtalk.org">Logtalk website</a></li>
    <li class="toctree-l1"><a class="reference internal" href="https://github.com/LogtalkDotOrg/logtalk3">GitHub repo</a></li>
    </ul>
  
        </div>
      </div>
    </nav>

    <section data-toggle="wy-nav-shift" class="wy-nav-content-wrap"><nav class="wy-nav-top" aria-label="Mobile navigation menu" >
          <i data-toggle="wy-nav-top" class="fa fa-bars"></i>
          <a href="../index.html">The Logtalk Handbook</a>
      </nav>

      <div class="wy-nav-content">
        <div class="rst-content">
          <div role="navigation" aria-label="Page navigation">
  <ul class="wy-breadcrumbs">
      <li><a href="../index.html" class="icon icon-home" aria-label="Home"></a></li>
          <li class="breadcrumb-item"><a href="index.html">Developer Tools</a></li>
      <li class="breadcrumb-item active">Overview</li>
      <li class="wy-breadcrumbs-aside">
              <a href="https://github.com/LogtalkDotOrg/logtalk3/blob/master/docs/handbook/sources/devtools/overview.rst" class="fa fa-github"> Edit on GitHub</a>
      </li>
  </ul>
  <hr/>
</div>
          <div role="main" class="document" itemscope="itemscope" itemtype="http://schema.org/Article">
           <div itemprop="articleBody">
             
  <section id="overview">
<h1>Overview<a class="headerlink" href="#overview" title="Link to this heading"></a></h1>
<p>The following developer tools are available, each one with its own
<code class="docutils literal notranslate"><span class="pre">loader.lgt</span></code> loader file (except for the built-in <code class="docutils literal notranslate"><span class="pre">linter</span></code> and
<code class="docutils literal notranslate"><span class="pre">make</span></code> tools, which are integrated with the compiler/runtime) and
<code class="docutils literal notranslate"><span class="pre">NOTES.md</span></code> documentation files:</p>
<ul class="simple">
<li><p><code class="docutils literal notranslate"><span class="pre">asdf</span></code></p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">assertions</span></code></p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">code_metrics</span></code></p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">dead_code_scanner</span></code></p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">debug_messages</span></code></p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">debugger</span></code></p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">diagrams</span></code></p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">doclet</span></code></p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">help</span></code></p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">issue_creator</span></code></p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">lgtdoc</span></code></p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">lgtunit</span></code></p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">linter</span></code></p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">make</span></code></p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">packs</span></code></p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">ports_profiler</span></code></p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">profiler</span></code></p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">tutor</span></code></p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">wrapper</span></code></p></li>
</ul>
<section id="loading-the-developer-tools">
<h2>Loading the developer tools<a class="headerlink" href="#loading-the-developer-tools" title="Link to this heading"></a></h2>
<p>To load the main developer tools, use the following goal:</p>
<div class="highlight-logtalk notranslate"><div class="highlight"><pre><span></span>| <span class="o">?-</span> <span class="k">logtalk_load</span>(tools(loader)).
</pre></div>
</div>
<p>The <code class="docutils literal notranslate"><span class="pre">ports_profiler</span></code> tool is not loaded by default; however, as it
conflicts with the <code class="docutils literal notranslate"><span class="pre">debugger</span></code> tool as both provide a debug handler
that must be unique in a running session.</p>
<p>The <code class="docutils literal notranslate"><span class="pre">profiler</span></code> tool is also not loaded by default, as it provides
integration with selected backend Prolog compiler profilers that are not
portable.</p>
<p>The <code class="docutils literal notranslate"><span class="pre">tutor</span></code> tool is also not loaded by default, given its usefulness
mainly for new users that need help understanding compiler warning and
error messages.</p>
<p>The <code class="docutils literal notranslate"><span class="pre">wrapper</span></code> tool is also not loaded by default, given its
specialized purpose and beta status.</p>
<p>To load a specific tool, either change your Prolog working directory to
the tool folder and then compile and load the corresponding loader
utility file or simply use library notation as argument for the
compiling and loading predicates. For example:</p>
<div class="highlight-logtalk notranslate"><div class="highlight"><pre><span></span>| <span class="o">?-</span> <span class="k">logtalk_load</span>(lgtunit(loader)).
</pre></div>
</div>
</section>
<section id="tools-documentation">
<h2>Tools documentation<a class="headerlink" href="#tools-documentation" title="Link to this heading"></a></h2>
<p>Specific notes about each tool can be found in the corresponding
<code class="docutils literal notranslate"><span class="pre">NOTES.md</span></code> files. HTML documentation for each tool API can be found in
the <code class="docutils literal notranslate"><span class="pre">docs</span></code> directory (open the <code class="docutils literal notranslate"><span class="pre">../docs/handbook/index.html</span></code> file
with your web browser).</p>
</section>
<section id="tools-common-flags">
<h2>Tools common flags<a class="headerlink" href="#tools-common-flags" title="Link to this heading"></a></h2>
<p>The <code class="docutils literal notranslate"><span class="pre">lgtdoc</span></code>, <code class="docutils literal notranslate"><span class="pre">lgtunit</span></code>, and <code class="docutils literal notranslate"><span class="pre">issue_creator</span></code> tools share a
<code class="docutils literal notranslate"><span class="pre">suppress_path_prefix</span></code> flag that can be used to suppress a prefix when
printing file paths. For example (after loading the tools):</p>
<div class="highlight-logtalk notranslate"><div class="highlight"><pre><span></span>| <span class="o">?-</span> <span class="k">set_logtalk_flag</span>(suppress_path_prefix, <span class="s">&#39;/home/jdoe/&#39;</span>).
</pre></div>
</div>
<p>This flag is mainly used to avoid user specific path prefixes appearing
in documentation, test logs, and bug reports.</p>
</section>
<section id="tools-requirements">
<h2>Tools requirements<a class="headerlink" href="#tools-requirements" title="Link to this heading"></a></h2>
<p>Some of the developer tools have third-party dependencies. For example,
the <code class="docutils literal notranslate"><span class="pre">lgtdoc</span></code> tool depends on XSLT processors to generate documentation
final formats and uses Sphinx for the preferred HTML final format. Be
sure to consult the tools documentation details on those requirements
and possible alternatives. For convenience, follows a global list of the
main tool requirements and suggestions for installing them per
operating-system. If your operating-system or a dependency for it is not
listed, see the dependency websites for installation instructions.</p>
<section id="tool-dependencies-for-full-functionality">
<h3>Tool dependencies for full functionality<a class="headerlink" href="#tool-dependencies-for-full-functionality" title="Link to this heading"></a></h3>
<ul class="simple">
<li><p><code class="docutils literal notranslate"><span class="pre">diagrams</span></code>: d2, Graphviz</p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">help</span></code>: <code class="docutils literal notranslate"><span class="pre">info</span></code></p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">issue_creator</span></code>: <code class="docutils literal notranslate"><span class="pre">gh</span></code>, <code class="docutils literal notranslate"><span class="pre">glab</span></code></p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">lgtdoc</span></code>: Sphinx, <code class="docutils literal notranslate"><span class="pre">libxslt</span></code>, <code class="docutils literal notranslate"><span class="pre">fop</span></code>, <code class="docutils literal notranslate"><span class="pre">texlive</span></code>, <code class="docutils literal notranslate"><span class="pre">texinfo</span></code>,
<code class="docutils literal notranslate"><span class="pre">pandoc</span></code>, <code class="docutils literal notranslate"><span class="pre">xsltproc</span></code></p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">lgtunit</span></code>: Allure, <code class="docutils literal notranslate"><span class="pre">coreutils</span></code>, <code class="docutils literal notranslate"><span class="pre">gsed</span></code></p></li>
<li><p><code class="docutils literal notranslate"><span class="pre">packs</span></code>: <code class="docutils literal notranslate"><span class="pre">coreutils</span></code>, <code class="docutils literal notranslate"><span class="pre">libarchive</span></code>, <code class="docutils literal notranslate"><span class="pre">gnupg2</span></code>, <code class="docutils literal notranslate"><span class="pre">git</span></code>,
<code class="docutils literal notranslate"><span class="pre">curl</span></code>, <code class="docutils literal notranslate"><span class="pre">wget</span></code>, <code class="docutils literal notranslate"><span class="pre">direnv</span></code></p></li>
</ul>
</section>
<section id="python-dependencies-all-operating-systems">
<h3>Python dependencies (all operating-systems)<a class="headerlink" href="#python-dependencies-all-operating-systems" title="Link to this heading"></a></h3>
<div class="highlight-logtalk notranslate"><div class="highlight"><pre><span></span><span class="err">$</span> pip install <span class="o">--</span>upgrade pygments
<span class="err">$</span> pip install <span class="o">--</span>upgrade sphinx
<span class="err">$</span> pip install <span class="o">--</span>upgrade sphinx_rtd_theme
</pre></div>
</div>
<p>In alternative, if your want to use the same versions used to build
release documentation:</p>
<div class="highlight-logtalk notranslate"><div class="highlight"><pre><span></span><span class="err">$</span> cd manuals<span class="o">/</span>sources
<span class="err">$</span> python3 <span class="o">-</span>m pip install <span class="o">-</span>r requirements.txt
</pre></div>
</div>
</section>
<section id="macos-macports">
<h3>macOS - MacPorts<a class="headerlink" href="#macos-macports" title="Link to this heading"></a></h3>
<div class="highlight-logtalk notranslate"><div class="highlight"><pre><span></span><span class="err">$</span> sudo port install d2 graphviz
<span class="err">$</span> sudo port install texinfo pandoc
<span class="err">$</span> sudo port install libxslt fop texlive
<span class="err">$</span> sudo port install gsed
<span class="err">$</span> sudo port install coreutils gsed libarchive gnupg2 git curl wget direnv
<span class="err">$</span> sudo port install gh glab
</pre></div>
</div>
</section>
<section id="macos-homebrew">
<h3>macOS - Homebrew<a class="headerlink" href="#macos-homebrew" title="Link to this heading"></a></h3>
<div class="highlight-logtalk notranslate"><div class="highlight"><pre><span></span><span class="err">$</span> brew install d2 graphviz
<span class="err">$</span> brew install texinfo pandoc
<span class="err">$</span> brew install libxslt fop texlive
<span class="err">$</span> brew install allure gsed
<span class="err">$</span> brew install coreutils libarchive gnupg2 git curl wget direnv
<span class="err">$</span> brew install gh glab
</pre></div>
</div>
</section>
<section id="ubuntu">
<h3>Ubuntu<a class="headerlink" href="#ubuntu" title="Link to this heading"></a></h3>
<div class="highlight-logtalk notranslate"><div class="highlight"><pre><span></span><span class="err">$</span> sudo apt install graphviz
<span class="err">$</span> sudo apt install texinfo pandoc
<span class="err">$</span> sudo apt install xsltproc fop texlive<span class="o">-</span>latex<span class="o">-</span>extra tex<span class="o">-</span>gyre latexmk
<span class="err">$</span> sudo apt install coreutils libarchive<span class="o">-</span>tools gnupg2 git curl wget direnv
<span class="err">$</span> sudo apt install gh
</pre></div>
</div>
</section>
<section id="redhat">
<h3>RedHat<a class="headerlink" href="#redhat" title="Link to this heading"></a></h3>
<div class="highlight-logtalk notranslate"><div class="highlight"><pre><span></span><span class="err">$</span> sudo dnf install graphviz
<span class="err">$</span> sudo dnf install texinfo pandoc
<span class="err">$</span> sudo dnf install libxslt fop
<span class="err">$</span> sudo dnf install bsdtar gnupg2 git curl wget direnv
</pre></div>
</div>
</section>
<section id="windows-chocolatey">
<h3>Windows - Chocolatey<a class="headerlink" href="#windows-chocolatey" title="Link to this heading"></a></h3>
<div class="highlight-logtalk notranslate"><div class="highlight"><pre><span></span><span class="o">&gt;</span> choco install pandoc xsltproc
<span class="o">&gt;</span> choco install d2 graphviz
<span class="o">&gt;</span> choco install xsltproc apache<span class="o">-</span>fop texlive
<span class="o">&gt;</span> choco install gnupg git
<span class="o">&gt;</span> choco install gh glab
<span class="o">&gt;</span> choco install wget
<span class="o">&gt;</span> choco install sed
</pre></div>
</div>
</section>
<section id="installers">
<h3>Installers<a class="headerlink" href="#installers" title="Link to this heading"></a></h3>
<ul class="simple">
<li><p><a class="reference external" href="https://d2lang.com/tour/install">https://d2lang.com/tour/install</a></p></li>
<li><p><a class="reference external" href="https://www.graphviz.org/download/">https://www.graphviz.org/download/</a></p></li>
<li><p><a class="reference external" href="https://allurereport.org/docs/">https://allurereport.org/docs/</a></p></li>
<li><p><a class="reference external" href="https://www.gnupg.org/">https://www.gnupg.org/</a></p></li>
<li><p><a class="reference external" href="https://gitforwindows.org">https://gitforwindows.org</a></p></li>
<li><p><a class="reference external" href="https://cli.github.com">https://cli.github.com</a></p></li>
<li><p><a class="reference external" href="https://glab.readthedocs.io">https://glab.readthedocs.io</a></p></li>
<li><p><a class="reference external" href="https://eternallybored.org/misc/wget/">https://eternallybored.org/misc/wget/</a></p></li>
</ul>
</section>
<section id="windows-powershell-add-ons">
<h3>Windows - PowerShell add-ons<a class="headerlink" href="#windows-powershell-add-ons" title="Link to this heading"></a></h3>
<div class="highlight-logtalk notranslate"><div class="highlight"><pre><span></span><span class="nv">PS</span><span class="o">&gt;</span> <span class="nv">Install</span><span class="o">-</span><span class="nv">Module</span> <span class="o">-</span><span class="nv">Name</span> <span class="nv">Set</span><span class="o">-</span><span class="nv">PsEnv</span>
</pre></div>
</div>
</section>
</section>
</section>


           </div>
          </div>
          <footer><div class="rst-footer-buttons" role="navigation" aria-label="Footer">
        <a href="index.html" class="btn btn-neutral float-left" title="Developer Tools" accesskey="p" rel="prev"><span class="fa fa-arrow-circle-left" aria-hidden="true"></span> Previous</a>
        <a href="asdf.html" class="btn btn-neutral float-right" title="asdf" accesskey="n" rel="next">Next <span class="fa fa-arrow-circle-right" aria-hidden="true"></span></a>
    </div>

  <hr/>

  <div role="contentinfo">
    <p>&#169; Copyright 1998-2025, Paulo Moura.</p>
  </div>

  Built with <a href="https://www.sphinx-doc.org/">Sphinx</a> using a
    <a href="https://github.com/readthedocs/sphinx_rtd_theme">theme</a>
    provided by <a href="https://readthedocs.org">Read the Docs</a>.
   

</footer>
        </div>
      </div>
    </section>
  </div>
  <script>
      jQuery(function () {
          SphinxRtdTheme.Navigation.enable(true);
      });
  </script> 

</body>
</html>